142 research outputs found
Polyominoes Simulating Arbitrary-Neighborhood Zippers and Tilings
This paper provides a bridge between the classical tiling theory and the
complex neighborhood self-assembling situations that exist in practice. The
neighborhood of a position in the plane is the set of coordinates which are
considered adjacent to it. This includes classical neighborhoods of size four,
as well as arbitrarily complex neighborhoods. A generalized tile system
consists of a set of tiles, a neighborhood, and a relation which dictates which
are the "admissible" neighboring tiles of a given tile. Thus, in correctly
formed assemblies, tiles are assigned positions of the plane in accordance to
this relation. We prove that any validly tiled path defined in a given but
arbitrary neighborhood (a zipper) can be simulated by a simple "ribbon" of
microtiles. A ribbon is a special kind of polyomino, consisting of a
non-self-crossing sequence of tiles on the plane, in which successive tiles
stick along their adjacent edge. Finally, we extend this construction to the
case of traditional tilings, proving that we can simulate
arbitrary-neighborhood tilings by simple-neighborhood tilings, while preserving
some of their essential properties.Comment: Submitted to Theoretical Computer Scienc
A compact topology for sand automata
In this paper, we exhibit a strong relation between the sand automata
configuration space and the cellular automata configuration space. This
relation induces a compact topology for sand automata, and a new context in
which sand automata are homeomorphic to cellular automata acting on a specific
subshift. We show that the existing topological results for sand automata,
including the Hedlund-like representation theorem, still hold. In this context,
we give a characterization of the cellular automata which are sand automata,
and study some dynamical behaviors such as equicontinuity. Furthermore, we deal
with the nilpotency. We show that the classical definition is not meaningful
for sand automata. Then, we introduce a suitable new notion of nilpotency for
sand automata. Finally, we prove that this simple dynamical behavior is
undecidable
On symmetric sandpiles
A symmetric version of the well-known SPM model for sandpiles is introduced.
We prove that the new model has fixed point dynamics. Although there might be
several fixed points, a precise description of the fixed points is given.
Moreover, we provide a simple closed formula for counting the number of fixed
points originated by initial conditions made of a single column of grains.Comment: Will be presented at ACRI2006 conferenc
Properties of Pseudo-Primitive Words and their Applications
A pseudo-primitive word with respect to an antimorphic involution \theta is a
word which cannot be written as a catenation of occurrences of a strictly
shorter word t and \theta(t). Properties of pseudo-primitive words are
investigated in this paper. These properties link pseudo-primitive words with
essential notions in combinatorics on words such as primitive words,
(pseudo)-palindromes, and (pseudo)-commutativity. Their applications include an
improved solution to the extended Lyndon-Sch\"utzenberger equation u_1 u_2 ...
u_l = v_1 ... v_n w_1 ... w_m, where u_1, ..., u_l \in {u, \theta(u)}, v_1,
..., v_n \in {v, \theta(v)}, and w_1, ..., w_m \in {w, \theata(w)} for some
words u, v, w, integers l, n, m \ge 2, and an antimorphic involution \theta. We
prove that for l \ge 4, n,m \ge 3, this equation implies that u, v, w can be
expressed in terms of a common word t and its image \theta(t). Moreover,
several cases of this equation where l = 3 are examined.Comment: Submitted to International Journal of Foundations of Computer Scienc
Protostellar birth with ambipolar and ohmic diffusion
The transport of angular momentum is capital during the formation of low-mass
stars; too little removal and rotation ensures stellar densities are never
reached, too much and the absence of rotation means no protoplanetary disks can
form. Magnetic diffusion is seen as a pathway to resolving this long-standing
problem. We investigate the impact of including resistive MHD in simulations of
the gravitational collapse of a 1 solar mass gas sphere, from molecular cloud
densities to the formation of the protostellar seed; the second Larson core. We
used the AMR code RAMSES to perform two 3D simulations of collapsing magnetised
gas spheres, including self-gravity, radiative transfer, and a non-ideal gas
equation of state to describe H2 dissociation which leads to the second
collapse. The first run was carried out under the ideal MHD approximation,
while ambipolar and ohmic diffusion was incorporated in the second calculation.
In the ideal MHD simulation, the magnetic field dominates the energy budget
everywhere inside and around the first core, fueling interchange instabilities
and driving a low-velocity outflow. High magnetic braking removes essentially
all angular momentum from the second core. On the other hand, ambipolar and
ohmic diffusion create a barrier which prevents amplification of the magnetic
field beyond 0.1 G in the first Larson core which is now fully thermally
supported. A significant amount of rotation is preserved and a small
Keplerian-like disk forms around the second core. When studying the radiative
efficiency of the first and second core accretion shocks, we found that it can
vary by several orders of magnitude over the 3D surface of the cores. Magnetic
diffusion is a pre-requisite to star-formation; it enables the formation of
protoplanetary disks in which planets will eventually form, and also plays a
determinant role in the formation of the protostar itself.Comment: 18 pages, 11 figures, accepted for publication in Astronomy &
Astrophysic
Basic properties for sand automata
Presented at MFCS 2005 (Gdansk, POLAND). Long version with complete proofs published in Theoretical Computer Science, 2006, under the title "From Sandpiles to Sand Automata".International audienceWe prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata proving that the property of nilpotency is undecidable. We believe that the proof technique used for this last result might reveal useful for many other results in this context
A compact topology for sand automata
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology for sand automata, and a new context in which sand automata are homeomorphic to cellular automata acting on a specific subshift. We show that the existing topological results for sand automata, including the Hedlund-like representation theorem, still hold. In this context, we give a characterization of the cellular automata which are sand automata, and study some dynamical behaviors such as equicontinuity. Furthermore, we deal with the nilpotency. We show that the classical definition is not meaningful for sand automata. Then, we introduce a suitable new notion of nilpotency for sand automata. Finally, we prove that this simple dynamical behavior is undecidable
Generative action and preference reversal in exploratory project management
Organisations trying to innovate, despite being naturally encouraged to use project management and associated rational theories of choice, will necessarily experiment in some way or another due to the high levels of uncertainty and the unknown to be discovered. Exploratory project management may face situations requiring a constant reconfiguration of beliefs and hypotheses as a reaction to external factors. In this paper, we propose to discuss the existence of a generative rationality breaking away from classical decision theory by deliberately reversing preferences and designing decisions
Predicting leakage of the VERCORS mock-up and concrete containment buildings - a digital twin approach
EDF operates a nuclear power generation fleet made up of 56 reactors. This fleet contains 24 reactors designed as double-walled concrete containment building. The inner concrete containment vessel has no metallic liner and is a prestressed reinforced concrete building. The inner concrete containment vessel is designed to withstand a severe accident, in terms of mechanical and sealing behaviour. The tightness of the containment is tested every 10 years, by carrying out a pressurization test and by measuring the leak rate. The leak rate is required to be below a regulatory threshold to continue operation of the concrete containment building for the next ten years. Ageing of concrete due to drying, creep and shrinkage leads to increase prestress loss and then leak rate with time. For some containment buildings, the leak rate gets closer to the regulatory threshold with time, so important coating programs are planned to mitigate and limit the leak rate under the regulatory threshold. Therefore, it is very important for EDF to have a concrete containment building leak rate prediction tool. To address this issue, an important research program around a 1/3 scale concrete containment building mock-up called "VERCORS" have been launched at EDF. The mock-up is heavily instrumented, and its materials (concrete, prestressing cables) have been widely characterized and studied. An important numerical effort has also been made to implement structural computations of the mock-up and to capitalize these computations as well as their post-processing (so as to compare automatically with the monitoring data) in what can be called a digital twin of the mock-up. This digital twin is now used to predict the leakage of VERCORS mock-up before yearly pressure test, and also to optimize the repair programs on the real containments
Actes du Symposium International - Le livre, la Roumanie, l’Europe / Proceedings of the International Symposium Books, Romania, Europe - 5ème édition 24-26 septembre 2012
Tome 2 des actes du Symposium International "Le livre, la Roumanie, L\u27Europe" qui s\u27est tenu les 24, 25 et 26 septembre 2012 à Mamaia, Roumanie, organisé par la Bibliothèque Métropolitaine de Bucarest. / Tome 2 of the Proceedings of the International Symposium "Books, Romania, Europe" held on 24, 25 and 26 September 2012 in Mamaia, Romania, organized by the Bucharest Metropolitan Library.
Textes réunis et présentés par :
RĂ©jean Savard
Chantal Stanescu
Hermina G.B. Anghelescu
Cristina Io
- …